Works by Krivine, J. (exact spelling)

Order:
  1.  8
    Forcing and generalized quantifiers.J. Krivine - 1973 - Annals of Mathematical Logic 5 (3):199.